|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectabstraction.TransitionFunction
public class TransitionFunction
This Class maintains informations about the triple present state, action, next state of one Service.
| Field Summary | |
|---|---|
private Action |
action
|
private State |
nextState
|
private State |
presentState
|
| Constructor Summary | |
|---|---|
TransitionFunction(State presentState,
Action action,
State nextState)
Constructor |
|
| Method Summary | |
|---|---|
boolean |
equals(java.lang.Object o)
|
Action |
getAction()
get action of a transition function |
State |
getNextState()
get a next state of a transition function |
State |
getPresentState()
get a present state of a transition function |
int |
hashCode()
|
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
private State presentState
private Action action
private State nextState
| Constructor Detail |
|---|
public TransitionFunction(State presentState,
Action action,
State nextState)
presentState - action - nextState - | Method Detail |
|---|
public State getPresentState()
public Action getAction()
public State getNextState()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||